681. Legal knowledge and information systems :
پدیدآورنده : edited by Marie-Francine Moens and Peter Spyns.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Law-- Methodology-- Automation, Congresses.,Droit-- Méthodologie-- Informatique, Congrès.,Intelligence artificielle, Congrès.,Systèmes d'information-- Droit (Science), Congrès.,Artificial intelligence.,LAW-- Computer & Internet.,Law-- Methodology-- Automation.
رده :
K212
.
J874
2005eb
682. Leveraging applications of formal methods, verification and validation :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67
683. Librarian's guide to online searching :
پدیدآورنده : Suzanne S. Bell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Database searching.,Electronic information resource searching.,Databases, Bibliographic.,Information Storage and Retrieval.,Database searching.,Databassökningar.,Electronic information resource searching.,Information Retrieval
رده :
ZA4460
.
B45
2015
684. Life and action :
پدیدآورنده : Michael Thompson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Act (Philosophy),Agent (Philosophy),Conduct of life.,Ethics.,Life.,Act (Philosophy),Agent (Philosophy),Conduct of life.,Ethics.,Handlung,Life.,Philosophie,PHILOSOPHY-- History & Surveys-- Modern.,PHILOSOPHY-- Logic.
رده :
BJ37
.
T49
2008eb
685. Literature and medicine :
پدیدآورنده : Ronald Schleifer, Jerry B. Vannatta, authors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Literature and medicine.,Medical education.,Medicine in literature.,Literature and medicine.,Medical education.,Medicine in literature.
رده :
R702
.
S34
2019eb
686. Logic
پدیدآورنده : by Laurence Goldstein ... ]et al.[
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Logic
رده :
BC
.
L64
101
2005
687. Logic
پدیدآورنده :
کتابخانه: کتابخانه دانشکدگان فارابی دانشگاه تهران (قم)
موضوع :
رده :
BC
101
.
L64
2005
688. Logic Programming :
پدیدآورنده : by Isaac Balbin, Koenraad Lecot.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
QA76
.
6
B957
1985
689. Logic Programming '89 :
پدیدآورنده : edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Translators (Computer programs)
رده :
QA76
.
63
E358
1991
690. Logic and Philosophy
پدیدآورنده : Logique et Philosophie / edited by G.H. Wright.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.,Philosophy (General)
691. Logic and computer design fundamentals /
پدیدآورنده : M. Morris Mano, Charles R. Kime
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic digital computers-- Circuits,Electronic digital computers-- Circuits, Problems, exercises, etc,Logic circuits,Logic circuits, Problems, exercises, etc,Logic design,Logic design, Problems, exercises, etc
رده :
TK7888
.
4
.
M36
2008
692. Logic and lexicon :
پدیدآورنده : Manfred Pinkal ; translated by Geoffrey Simmons.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Ambiguity.,Language and logic.
رده :
P325
.
M364
2011
693. Logic-based program synthesis and transformation :
پدیدآورنده : Fred Mesnard, Peter J. Stuckey (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
رده :
QA76
.
63
694. Logic functions and equations :
پدیدآورنده : Christian Posthoff, Bernd Steinback.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Boolean.,Logic, Symbolic and mathematical.,Machine theory.,Algebra, Boolean.,Logic, Symbolic and mathematical.,Machine theory.
رده :
QA10
.
3
.
P67
2019
695. Logic: key concepts in philosophy
پدیدآورنده : Laurence Goldstein ... ]et al.[
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : ، Logic
رده :
BC
101
.
L64
2006
696. Logic, semantics, metamathematics :
پدیدآورنده : by Alfred Tarski ; translated by J.H. Woodger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
رده :
BC135
.
T35
1983
697. Logical Theory and Semantic Analysis :
پدیدآورنده : edited by Sören Stenlund, Ann-Mari Henschen-Dahlquist, Lars Lindahl, Lennart Nordenfelt, Jan Odelstad.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.,Philosophy (General)
رده :
BC50
.
E358
1974
698. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده : / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
699. Logico-linguistic papers /
پدیدآورنده : P.F. Strawson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Language and languages-- Philosophy.,Logic.,Language and languages-- Philosophy.,Logic.,Logik,Referenzsemantik,Sprache,Sprachphilosophie,Sprechakttheorie
رده :
BC51
.
S75
2004
700. Logics of foreign policy :
پدیدآورنده : Eberle, Jakub
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : DD Germany
